Draft Theory in Japan

Partial Functions in Operational Type Theory (DRAFT)

An Operational Type Theory (OPTT) is developed based on a theory of operational joinability of untyped terms. The theory accomodates functions which might diverge or abort on some inputs. To preserve logical soundness, OPTT distinguishes proofs from programs, and formulas from types. OPTT incorporates proof irrelevance, thus facilitating the combination of internal and external verification.

using game theory techniques in self-organizing maps training

شبکه خود سازمانده پرکاربردترین شبکه عصبی برای انجام خوشه بندی و کوانتیزه نمودن برداری است. از زمان معرفی این شبکه تاکنون، از این روش در مسائل مختلف در حوزه های گوناگون استفاده و توسعه ها و بهبودهای متعددی برای آن ارائه شده است. شبکه خودسازمانده از تعدادی سلول برای تخمین تابع توزیع الگوهای ورودی در فضای چندبعدی استفاده می کند. احتمال وجود سلول مرده مشکلی اساسی در الگوریتم شبکه خودسازمانده به حسا...

Macroeconomic Theory and Policy Preliminary Draft

A syntax for cubical type theory (draft)

In this paper we provide a syntax for the cubical set model of type theory [3]. We start by defining a heterogeneous equality as a logical relation in an extended context (section 1.1). This can be seen as a different presentation of parametricity for dependent types [1]. We investigate the higher dimensional structure induced by the logical relation in section 1.2. The relation defined so far ...

Values at Play DRAFT 1 Values in Design : Theory and Practice 1 DRAFT - April 24 2005 - DRAFT

Introduction The idea that values may be embodied in technical systems and devices (artifacts) has taken root in a variety of disciplinary approaches to the study of technology, society, and humanity. pragmatic turn from this largely descriptive posture sets forth values as a design aspiration, exhorting designers and producers to include values in the set of criteria by which the excellence of...